Situation calculus - PDFSEARCH.IO - Document Search Engine

Situation calculus
Results: 55

#	Item
31	Temporal Golog with Execution Monitoring Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 03:24:55 Situation calculus Schedule Parallel computing Execution Interpreter Computer program Computing Software engineering Logic programming
32	LINEARIZATION OF NONLINEAR ODES We have introduced the idea of a mathematical model for some real world situation, and used models to find ODEs. It is possible to have several models of varying levels of complexity. Each Add to Reading List Source URL: www.math.ucsb.edu Language: English - Date: 2007-01-11 18:02:17 Differential calculus Dynamical systems Differential equations Linearization Linear differential equation Nonlinear system Derivative Trigonometric functions Ordinary differential equation Calculus Mathematical analysis Mathematics
33	From: AAAI Technical Report WS[removed]Compilation copyright © 2002, AAAI (www.aaai.org). All rights reserved. Preliminary Insights on Temporal Approximation Aarati Parmar Department of Computer Science, Gates Building, Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 09:55:57 Logic programming Knowledge representation Logic in computer science Situation calculus Non-classical logic Frame problem Fluent Interpretation Event Mathematics Logic Mathematical logic
34	Artificial Intelligence[removed]–91 Formalizing sensing actions— A transition function based approach Tran Cao Son a,∗ , Chitta Baral b a Knowledge Systems Laboratory, Computer Science Department, Add to Reading List Source URL: centria.di.fct.unl.pt Language: English - Date: 2009-09-27 08:43:51 Logic programming Situation calculus Logic in computer science Action description language Function Fluent Proposition Truth Logic Mathematics Philosophy
35	Situation Presumption for Swarm Robots by Sound Information KINOSHITA Yuta (Hokkaido University of Science) TAKEZAWA Megumi(Hokkaido University of Science) AOYAMA Yuko (Hokkaido University) KITAMORI Kazutaka (Hokkaido Un Add to Reading List Source URL: www.iaria.org Language: English - Date: 2015-02-04 09:52:14 Calculus Wave mechanics Doppler effect Sound Speed of sound Wave Surround sound Simulation Echo Acoustics Physics Waves
36	Explaining Explanation Closure Patrick Doherty1 and Witold L ukaszewicz2 and Andzrej Szalas2 1 Department of Computer and Information Science Linkoping University, S[removed]Linkoping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:09:18 Non-classical logic Mathematics Knowledge representation Epistemology Artificial intelligence Frame problem Circumscription Situation calculus Axiom Logic Mathematical logic Logic programming
37	Abstract The area of reasoning about action and change is concerned with the formalization of actions and their eects as well as other aspects of inhabited dynamical systems. The representation is typically done in some Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-07 10:05:24 Logic in computer science Science Knowledge representation Epistemology Reasoning Frame problem Event calculus Situation calculus Dynamic logic Mathematical logic Logic Logic programming
38	Reasoning by Regression: Pre- and Postdiction Procedures for Logics o f A c t i o n a n d C h a n g e w i t h Nondeterminism* M a r c u s B j a r e l a n d and L a r s K a r l s s o n Department of Computer and Informati Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:34:02 Epistemology Frame problem Theoretical computer science Situation calculus Science Predicate transformer semantics Event calculus Logic programming Knowledge representation Artificial intelligence
39	Handbook of Knowledge Representation Edited by B. Porter, V. Lifschitz and F. van Harmelen c 2008 Elsevier All rights reserved 1 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:07:08 Non-classical logic Science Knowledge representation Model theory Artificial intelligence Frame problem Situation calculus Circumscription Modal logic Logic Mathematical logic Logic programming
40	Computational Intelligence, Volume 16, Number 2, 2000 TACKLING THE QUALIFICATION PROBLEM USING FLUENT DEPENDENCY CONSTRAINTS JONAS KVARNSTROM ¨ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:46:26 Artificial intelligence Knowledge Science Logic in computer science Frame problem Situation calculus Ramification problem Fluent Reason Logic programming Knowledge representation Epistemology